Nuprl Definition : fifoS 11,40
fifoS(ff) == spreadn(ff; C,T,S,R,codes,decodes,p.S) 
latex

Definitionsspreadn(u; a,b,c,d,e,f,g.v(a;b;c;d;e;f;g))
FDL editor aliasesfifoS

origin